We look at recent accounts of the indefinite extensibility of the concept set and compare them with a certain linguistic model of indefinite extensibility. We suggest that the linguistic model has much to recommend over alternative accounts of indefinite extensibility, and we defend it against three prima facie objections.

This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of maps and (...) the symbolic semantics of markers and tags, within the framework of possible-world semantics. The resulting account addresses issues of accuracy, viewpoint, orientation, and exhaustivity. (shrink)

Groups are ubiquitous in our lives. But while some of them are highly structured and appear to support a shared intentionality and even a shared agency, others are much less cohesive and do not seem to demand much of their individual members. Queues, for example, seem to be, at a given time, nothing over and above some individuals as they exemplify a certain spatial arrangement. Indeed, the main aim of this paper is to develop the more general thought that at (...) a given time, a group is nothing over and above some individual members as they exemplify a certain complex condition. The general conception of groups that emerges is able to accommodate a variety of constraints on a reasonable answer to the question of what are groups. (shrink)

I would like to discuss the claim that the resources of plural reference and plural quantification are sufficient for the purpose of paraphrasing all ordinary statements apparently concerned with composite material objects into plural statements concerned exclusively with simples.

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

When viewed as the most comprehensive theory of collections, set theory leaves no room for classes. But the vocabulary of classes, it is argued, provides us with compact and, sometimes, irreplaceable formulations of largecardinal hypotheses that are prominent in much very important and very interesting work in set theory. Fortunately, George Boolos has persuasively argued that plural quantification over the universe of all sets need not commit us to classes. This paper suggests that we retain the vocabulary of classes, but (...) explain that what appears to be singular reference to classes is, in fact, covert plural reference to sets. (shrink)

I present a puzzle for absolutely unrestricted quantification. One important advantage of absolutely unrestricted quantification is that it allows us to entertain perfectly general theories. Whereas most of our theories restrict attention to one or another parcel of reality, other theories are genuinely comprehensive taking absolutely all objects into their domain. The puzzle arises when we notice that absolutely unrestricted theories sometimes impose incompatible constraints on the size of the universe.

Do mereological fusions have their parts necessarily? None of the axioms of non-modal formulations of classical mereology appear to speak directly to this question. And yet a great many philosophers who take the part-whole relation to be governed by classical mereology seem to assume that they do. In addition to this, many philosophers who make allowance for the part-whole relation to obtain merely contingently between a part and a mereological fusion tend to depart from non-modal formulations of classical mereology at (...) least when it comes to the axiom of Unique Fusion, which states that no two different mereological fusions ever fuse exactly the same objects. This is no coincidence. There are reasons of principle why one’s adherence to classical mereology should exert some pull towards the view that mereological fusions have their parts necessarily. There is, however, no direct route from the combination of classical mereology and propositional modal logic to the hypothesis that the part-whole relation obtains necessarily between a part and a mereological fusion. In order to bridge between a modal formulation of classical mereology and the hypothesis that fusions have their parts necessarily, one needs to strengthen the axiom of Unrestricted Fusion in a way that is agreeable to many philosophers on both sides of the debate. (shrink)

Thought: A Journal of Philosophy, EarlyView.

The prelims comprise: To Kalon as Effective Teleological Order The Visibility of the Fine Pleasure and Praise The Value of the Fine Conclusion Acknowledgments Notes References Further reading.

Journal of Mathematical Logic, Ahead of Print. Given a structure [math] and a stably embedded [math]-definable set [math], we prove tameness preservation results when enriching the induced structure on [math] by some further structure [math]. In particular, we show that if [math] and [math] are stable (respectively, superstable, [math]-stable), then so is the theory [math] of the enrichment of [math] by [math]. Assuming simplicity of [math], elimination of hyperimaginaries and a further condition on [math] related to the behavior of algebraic (...) closure, we also show that simplicity and NSOP1 pass from [math] to [math]. We then prove several applications for tame expansions of weakly minimal structures and, in particular, the group of integers. For example, we construct the first known examples of strictly stable expansions of [math]. More generally, we show that any stable (respectively, superstable, simple, NIP, NTP2, NSOP1) countable graph can be defined in a stable (respectively, superstable, simple, NIP, NTP2, NSOP1) expansion of [math] by some unary predicate [math]. (shrink)

There has recently been much debate about the idea of levying a tax on particular transactions on international financial markets. Economists have argued about how much revenue such an international financial transaction tax would raise and they disagree about what effects it would have on trade volumes, financial stability, and overall growth. Politicians have argued about the feasibility of introducing such a tax internationally and they disagree on its adequacy as a policy response to the current financial and economic crisis. (...) This article contributes to the debate about international financial transaction taxation by bringing the perspective of political philosophy to bear on the politicians’ and economists’ arguments about policy. I shall outline a framework for thinking about justice in finance, and defend the idea of an international financial transaction tax as an instrument for making the international financial system more just. (shrink)

This chapter contains section titled: Beauty and Goodness Patterns of Beautiful Poetry Human Excellence and the Standard of Poetic Beauty Moral Psychology Love of Beauty and Being Just Conclusion.

This paper appeals to the phenomenon of dreaming to provide a novel defense against arguments from evil. The thrust of the argument is as follows: when we wake up after a nightmare we are often filled entirely with relief, and do not consider ourselves to have actually suffered very much at all; and since it is epistemically possible that this whole life is simply a dream, it follows that it is epistemically possible that in reality there is very little suffering. (...) This epistemic possibility decisively undermines a key premise of both logical and evidential arguments from evil. (shrink)

This paper looks at the question of what regions of space are possibly exactly occupied by a material object.

Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial and (...) linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)

We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type p over a set B does not divide over $C\subseteq B$, then no extension of p to a complete type over $\operatorname {acl}(B)$ divides over C. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an $\mathrm {NSOP}_1$ theory (...) with a complete type that forks, but does not divide, over a model (answering a question of d’Elbée). Moreover, dividing independence fails to imply M-independence in this example (which refutes another folklore claim). In addition to these counterexamples, we summarize various related properties of dividing that are still true. We also address consequences for previous literature, including an earlier unpublished result about forking and dividing in free amalgamation theories, and some claims about dividing in the theory of generic $K_{m,n}$ -free incidence structures. (shrink)

Hubert Dreyfus has defended a novel view of agency, most notably in his debate with John McDowell. Dreyfus argues that expert actions are primarily unreflective and do not involve conceptual activity. In unreflective action, embodied know-how plays the role reflection and conceptuality play in the actions of novices. Dreyfus employs two arguments to support his conclusion: the argument from speed and the phenomenological argument. I argue that Dreyfus's argumentative strategies are not successful, since he relies on a dubious assumption about (...) concepts and reflection. I suggest that Dreyfus is committed to a minimal view of conceptuality in action. (shrink)

The primary objective of this book is to open space for rethinking the relationship between art and politics. It seeks to combat one of the fundamental assumptions that has plagued many of the previous debates on this issue: that art and politics are distinct entities definable in terms of common properties, and that they have privileged points of intersection, which can be determined once and for all in terms of an established formula. This common sense assumption is rooted in a (...) transcendent illusion according to which there are more or less fixed characteristics that unify our terms, concepts, and practices in such a way as to guarantee their meaning. Against this substantialist approach, Radical History & the Politics of Art argues for a praxeological account that begins the other way around by analyzing specific cultural practices without presupposing a conceptual unity behind them. Such an orientation is radically historicist in the sense that it recognizes that all of our practices—be they linguistic, theoretical, aesthetic or political—are historically constituted and that they are necessarily part of a temporal dynamic. Hence the contingent nature of the labels used to classify various practices or even identify ‘practice’ as such. Radical history thereby proposes a significant departure from the extant debates on art and politics by maintaining that there is no ‘art’ or ‘politics’ in general, nor a singular relation between them. There are only historically constituted practices in various conjunctures, some of which have been labeled, through practical acts of denomination, as ‘artistic’ or ‘political.’ Instead of proposing one more response to the oft-repeated question ‘what is the relationship between Art and Politics?’ this book seeks to overcome the presuppositions that plague such a question. It thereby changes the very nature of the investigation by asking: ‘how do the diverse aspects of practices identified as ‘aesthetic’ and ‘political’ overlap, intertwine and sometimes merge in precise socio-historical force fields of action? (shrink)

In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative hierarchy of levelsUαVα. The recursive definition of theVα's is:Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory shows thatVω, the first transfinite level of the hierarchy, is a model of all the axioms ofZFwith the exception of the axiom of infinity. And, in general, one finds that ifκis a strongly inaccessible ordinal, thenVκis a model of all of (...) the axioms ofZF. Doubtless, when cast as a first-order theory,ZFdoes not characterize the structures 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal, by the Löwenheim-Skolem theorem. Still, one of the main achievements of [12] consisted in establishing that a characterization of these models can be attained when one ventures into second-order logic. For let second-orderZFbe, as usual, the theory that results fromZFwhen the axiom schema of replacement is replaced by its second-order universal closure. Then, it is a remarkable result due to Zermelo that second-orderZFcan only be satisfied in models of the form 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal. (shrink)

We define a formula φ in a first-order language L , to be an equation in a category of L -structures K if for any H in K , and set p = {φ;i ϵI, a i ϵ H} there is a finite set I 0 ⊂ I such that for any f : H → F in K , ▪. We say that an elementary first-order theory T which has the amalgamation property over substructures is equational if every quantifier-free (...) formula is equivalent in T to a boolean combination of equations in Mod, the category of models of T with embeddings for morphisms. Thus, we develop a theory of independence with respect to equations in general categories of structures, which is similar to the one introduced in stability but which, in our context, has an algebraic character. (shrink)

This chapter contains sections titled: The Good Conceived as an End The Good as a Convergent End The Meaning of “Eudaimonia” Happiness vs. the Happy Life The Finality Criterion The Self‐sufficiency Criterion Inclusivism The Shape of the Happy Life Concluding Remarks Notes Bibliography.

We show from an abstract comparison principle that the Mitchell order is linear on sufficiently strong ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. This gives a conditional answer to the well-known question of whether a [Formula: see text]-supercompact cardinal [Formula: see text] must carry more than one normal measure of order 0. Conditioned on a very plausible iteration hypothesis, the answer is no, since the Ultrapower Axiom holds in the canonical inner models at the finite (...) levels of supercompactness. (shrink)

The paper is concerned with the bad company problem as an instance of a more general difficulty in the philosophy of mathematics. The paper focuses on the prospects of stability as a necessary condition on acceptability. However, the conclusion of the paper is largely negative. As a solution to the bad company problem, stability would undermine the prospects of a neo-Fregean foundation for set theory, and, as a solution to the more general difficulty, it would impose an unreasonable constraint on (...) mathematical practice. (shrink)

O presente texto tem por objetivo compreender a pintura de Wassily Kandinsky a partir da metafísica do belo de Arthur Schopenhauer, especialmente a partir da relação entre pintura e música estabelecida pelo pintor.

Although stakeholder theory is widely accepted in environmental disclosure research, empirical evidence about the role of stakeholders in firms’ disclosure is still scarce. The authors address this issue for a setting of carbon disclosure. Our international sample comprises the Carbon Disclosure Project Global 500, S&P 500, and FTSE 350 reports from 2008 to 2011, resulting in a total of 1,120 firms with 3,631 firm-year observations. The authors apply Tobit regressions to analyze the relationship between carbon disclosure and the relevance of (...) the following stakeholder groups: government, general public, media, employees, and customers. Our results confirm that in addition to carbon performance, all stakeholders are associated with carbon disclosure. Only one stakeholder group acts as a moderator for the relationship between carbon performance and carbon disclosure. Furthermore, the authors find that carbon performance but not the affiliation to a carbon-intensive industry acts as a moderator between stakeholder relevance and carbon disclosure. (shrink)

We argue that not all cases of before-effect involve causation and ask how to demarcate cases of before-effect in which the events that follow exert causal influence over the before-effect from cases in which they do not.

The Russell–Myhill theorem threatens a familiar structured conception of propositions according to which two sentences express the same proposition only if they share the same syntactic structure and their corresponding syntactic constituents share the same semantic value. Given the role of the principle of universal instantiation in the derivation of the theorem in simple type theory, one may hope to rehabilitate the core of the structured view of propositions in ramified type theory, where the principle is systematically restricted. We suggest (...) otherwise. The ramified core of the structured theory of propositions remains inconsistent in ramified type theory augmented with axioms of reducibility. This is significant because reducibility has been thought to be perfectly consistent with the ramified approach to the intensional antinomies. Nor is the addition of reducibility to ramified type theory sufficient to restore other intensional puzzles such as Prior’s paradox or Kripke’s puzzle about time and thought. (shrink)

In this essay, we focus on Max Weber’s concept of rationalization to understand and make sense of the rise of bureaucratic, corporate governance and online learning in higher education. We reveal the distinct disconnect between human interaction and online platforms and how such disconnection is antithetical to higher learning. We also show how Weber’s analysis helps us recognize the uniquely crass commercialism embedded in the very rationalization that makes online learning in universities thinkable and actionable. Our use of online learning (...) is only one illustration of Weber’s concept of rationalization, but it provides an important understanding of the nefarious effects rationalization has on human interaction. The nexus of marketization, technology, and higher education represents, on our view, a juggernaut against faculty autonomy, academic freedom, and humane learning and should be directly challenged. One difficulty this challenge faces is the degree to which online learning has become ubiquitous and taken-for-granted. It has, as Weber clarifies, been rationalized. (shrink)